majority.jani:model: info: majority is a CTMC model and will be simulated as an MA.
majority.jani:variables[0]: info: Expanding variable "D" into 6 locations in automaton "D_def".
majority.jani:variables[1]: info: Expanding variable "Y" into 5 locations in automaton "Y_def".
majority.jani:variables[2]: info: Expanding variable "Z" into 5 locations in automaton "Z_def".
majority.jani:variables[3]: info: Expanding variable "CC" into 16 locations in automaton "CC_def".
majority.jani:variables[4]: info: Expanding variable "XX" into 5 locations in automaton "XX_def".
majority.jani:variables[5]: info: Expanding variable "EE" into 16 locations in automaton "EE_def".
majority.jani: info: Using default value of 0.95 for the confidence parameter.
Peak memory usage: 61 MB
Analysis results for majority.jani
Experiment T=2100
Status: Cancelled
Simulation time: 599.4 s
+ Property Property "change_state"
Estimated probability: 0.054458692358142796
Runs used: 1326510
Run type: MA
Status: Cancelled
+ Error bounds
Statement: Aborted: no error bounds